Being a pragmatic and not a referential approach to semantics, dialogi-cal logic does not understand semantics as mapping names, propositions and relationships into the real world to obtain an abstract counterpart of it, but as dealing (handeln) with them in a particular way. This allows a very simple formulation of free logic the core of which can be expressed in a nutshell, namely: in an argumentation, it sometimes makes sense to restrict the introduction of singular terms in the context of (...) quantification to a formal use o f them. That is, the proponent is allowed to use a constant if f this constant has been explicitly conceded by the opponent. More technically, we show a new, dialogical way to build free logic systems fo r first-order logic with classical and intuitionistic features and present their corresponding tableaux. I. In tro d u ctio n I I. F r e e logics ON DIALOGUES A ND ONTOLOGY THE DIAL OGICAL APPROACH TO FREE LOGIC The proposition "God does not exist" contains a paradox sometimes referred to as Plato's beard: if God does not exist and the proposition should be true, standard referential semantics fo r quantified logic fails to give meaning to the name "God". But, given compositionality, since the meaning of a sentence is combined from the meanings o f its parts,-G o d d o e s not exist" does not evaluate. It is easy to see that related difficulties appear in every formula that contains singular terms. In standard logic, it is impossible to state that God is either good or evil without presupposing his existence, or that the round * My work on this article has been supported by the Fritz-Thyssen-Stiftung which I wish to thank expressly. (shrink)

Placebo-controlled trials are controversial when individuals might be denied existing beneficial medical interventions. In the case of malaria, most patients die in rural villages without healthcare facilities. An artesunate suppository that can be given by minimally skilled persons might be of value when patients suddenly become too ill for oral treatment but are several hours from a facility that can give injectable treatment for severe disease. In such situations, by default, no treatment is (or can be) given until the patient (...) reaches a facility, making the placebo control design clinically relevant; alternative bioequivalence designs at the facility would misrepresent reality and risk incorrect conclusions. We describe the ethical issues underpinning a placebo-controlled trial in severe malaria. To protect patients and minimise risk, all patients were referred immediately to hospital so that each had a higher chance of prompt treatment through participation. There was no difference between artesunate and placebo in patients who reached clinic rapidly; among those who could not, a single artesunate suppository significantly reduced death or permanent disability, a finding of direct and indirect benefit to patients in participating villages and elsewhere. (shrink)

The Theme. Strong forcing axioms like Martin’s Maximum give a reasonably satisfactory structural analysis of $H(\omega _2)$. A broad program in modern Set Theory is searching for strong forcing axioms beyond $\omega _1$. In other words, one would like to figure out the structural properties of taller initial segments of the universe. However, the classical techniques of forcing iterations seem unable to bypass the obstacles, as the resulting forcings axioms beyond $\omega _1$ have not thus far been strong enough! However, (...) with his celebrated work on generalised side conditions, I. Neeman introduced us to a novel paradigm to iterate forcings. In particular, he could, among other things, reprove the consistency of the Proper Forcing Axiom using an iterated forcing with finite supports. In 2015, using his technology of virtual models, Veličković built up an iteration of semi-proper forcings with finite supports, hence reproving the consistency of Martin’s Maximum, an achievement leading to the notion of a virtual model.In this thesis, we are interested in constructing forcing notions with finitely many virtual models as side conditions to preserve three uncountable cardinals. The thesis constitutes six chapters and three appendices that amount to 118 pages, where Section 1 is devoted to preliminaries, and Section 2 is a warm-up about the scaffolding poset of a proper forcing. In Section 3, we present the general theory of virtual models in the context of forcing with sets of models of two types, where we, e.g., define the “meet” between two virtual models and prove its properties.The main results are joint with Boban Veličković, and partly appeared in Guessing models and the approachability ideal, J. Math. Log. 21 (2021).Pure Side Conditions. In Section 4, we use two types of virtual models (countable and large non-transitive ones induced by a supercompact cardinal, which we call Magidor models) to construct our forcing with pure side conditions. The forcing covertly uses a third type of models that are transitive. We also add decorations to the conditions to add many clubs in the generic $\omega _2$. In contrast to Neeman’s method, we do not have a single chain, but $\alpha $ -chains, for an ordinal $\alpha $ with $V_\alpha \prec V_\lambda $. Thus, starting from suitable large cardinals $\kappa <\lambda $, we construct a forcing notion whose conditions are finite sets of virtual models described earlier. The forcing is strongly proper, preserves $\kappa $, and has the $\lambda $ -Knaster property. The relevant quotients of the forcing are strongly proper, which helps us prove strong guessing model principles. The construction is generalisable to a ${<}\mu $ -closed forcing, for any given cardinal $\mu $ with $\mu ^{<\mu }=\mu <\kappa $.The Iteration Theorem. In Section 5, we use the forcing with pure side conditions to iterate a subclass of proper and $\aleph _2$ -c.c. forcings and obtain a forcing axiom at the level of $\aleph _2$. The iterable class is closely related to Asperó–Mota’s forcing axiom for finitely proper forcings.Guessing Model Principles. Section 6 encompasses the main parts of the thesis. We prove the consistency of the guessing principle $\mathrm {GMP}^+(\omega _3,\omega _1)$ that states for any cardinal ${\theta \geq \omega _3}$, the set of $\aleph _2$ -sized elementary submodels M of $H(\theta )$, which are the union of an $\omega _1$ -continuous $\in $ -chain of $\omega _1$ -guessing, I.C. models is stationary in $\mathcal P_{\omega _3}(H(\theta ))$. The consistency and consequences of this principle are demonstrated in the following diagram. We also prove that one can obtain the above guessing models in a way that the $\omega _1$ -sized $\omega _1$ -guessing models remain $\omega _1$ -guessing model in any outer transitive model with the same $\omega _1$, and we denote this principle by $\rm{SGMP}^+(\omega_3,\omega_1)$.In the following diagram, $\mathrm{TP}$ stands for the tree property; $w\mathrm{KH}$ stands for the weak Kurepa Hypothesis; $\mathrm{MP}$ stands for Mitchell property, i.e., the approachability ideal is trivial modulo the nonstationary ideal; $\mathrm{AP}$ stands for the approachability property; $\mathrm {AMTP}(\kappa ^+)$ states that if $2^\kappa <\aleph _{\kappa ^+}$, then every forcing which adds a new subset of $\kappa ^+$ whose initial segments are in the ground model, collapses some cardinal $\leq 2^{\kappa }$. The dotted arrow denotes the relative consistency, while others are logical implications.Appendices. Appendix A includes merely the above diagram. Appendix B presents a proof of the Mapping Reflection Principle with finite conditions under $\mathrm {PFA}$. Appendix C contains open problems. Finally, the thesis’s bibliography consists of 42 items.Abstract prepared by Rahman MohammadpourE-mail: rahmanmohammadpour@gmail.comURL: https://theses.hal.science/tel-03209264. (shrink)

The science of Kalâm, expressed as Uṣûlü'd-dîn in Islamic thought, is a constructional science. This means that the science of Kalâm has a dynamic structure in social life as well as a theoretical beginning. Kalâm has played an important role in the implementation of the idea of tawhid and the justice-based life that will accompany it by taking into account the historical and geographical heritage of Muslim communities on how to understand the hopes of religion. It is known that the (...) political and social events that took place in Muslim society also took place in the history of Islamic thought as a theological sect in the later historical process. Muslims, part of a geography that has historically been the source of ancient cultures and thoughts, tried to protect the basic hopes of the religion they belonged to while also responding to the accusations of members of different faiths against Islam. Like other Islamic sciences, the science of Kalâm was formed later as a discipline. Depending on the method followed in understanding religious thought, theological sects were formed. Two basic approaches are dominant in the historical process and the general practice of the Muslim society. There is a rational trend that tends to use ta'wil to understand the verse based on nass and those qualified as Ahl-i hadith that do not accept ta'wil except for narration. The supporters of this method will later be described as Mu'tazila. There are dozens of theological sects shaped around these two basic ideas. This historical use of kalâm is rife with contradictions. They take a serious attitude towards those who use the kalâm method of the Ahl-i hadith. Although this is the case, the science of Kalâm as a discipline has played a very fundamental role in the Muslim society from the very beginning to the present. Unfortunately, the constructive function of the Science of Kalâm historically has not been continuous. As in other Islamic sciences, the Science of Kalâm became after a certain time a form of repetition or interpretation of what was written in the past, with commentaries and annotations instead of original copyright works. This naturally caused the Muslim community to imitate the past in every aspect of life and thus not be able to build a future. Muslim scholars have tried to address this over time and across geographies. A part of this early effort was the necessity of reinterpreting Islamic sciences. In the modern period (19th-20th century), a search for innovation has been made in all Islamic sciences. The main purpose of these efforts was the re-evaluation of Islamic sciences in accordance with the conditions of the age. One of those who was a part of this important and meaningful struggle is Fazlur Rahman (d.1988). He criticizes the science of Kalâm as well as other Islamic sciences and make suggestions to make Kalâm gain a dynamic structure. While Fazlur Rahman's criticism of Kalâm is included, the early period criticism of Kalâm will also be briefly mentioned in order to provide a better understanding of the subject. A comparison will be made between the thoughts of those who criticized Kalâm in the early period and those of Fazlur Rahman in the modern period. While there is an opposition to Kalâm in the form of the rejection of the science of Kalâm as a discipline, especially in the thought of Ahl al-Hadith, the science of Kalâm was considered as a constructional science in Fazlur Rahman. In addition to arguing that the Science of Kalâm should be reorganized as a discipline in terms of the method and content, Fazlur Rahman emphasizes the necessity of considering the past as an experience that must be understood according to the conditions of the day. For Fazlur Rahman, one of the reasons made Muslim thought inert is because the discipline of Kalâm does not consider present social life. In the 20th century, with modernism, theological debates gained a new dimension, and developments in all areas of social life gave birth to a brand new culture very different from the past. As a result of this, new value judgments have been formed to revisit and criticize the culture and values of the past. (shrink)

Our research is based on a rather large "library" of various works by M. Drahomanov, which contains his views on religion. Among them: Paradise and Progress, From the History of Relations Between Church and State in Western Europe, Faith and Public Affairs, Fight for Spiritual Power and Freedom of Conscience in the 16th - 17th Centuries,, "Church and State in the Roman Empire", "The Status and Tasks of the Science of Ancient History," "Evangelical Faith in Old England," "Populism and Popular (...) Progress in Austrian Rus, Austrian-Russian Remembrance," "Pious The Legend of the Bulgarians "," The Issues of Religious Freedom in Russia, "" On the Brotherhood of the Baptist or the Baptist in Ukraine, "" The Foreword, " Shevchenko, Ukrainianophiles and Socialism "," Wonderful thoughts about the Ukrainian national affair "," Zazdri gods "," Slavic variants of one Gospel legend "," Resurrection of Christ ", etc. (shrink)

kn. 1. Vechnye voprosy v svete nauki, filosofii religii.

The purpose of this article is to define the limits of technocentrism through the analysis of the limiting opportunities of technique and technology from certain value positions. Theoretical basis. The philosophical anthropology of Helmut Plessner was the research methodology. Originality. The institutional use of technology gives it the character of a social phenomenon and turns it into technology. The ability of individuals, which is aimed at achieving a certain goal with the help of certain sustainable techniques, is not yet technology (...) in itself but is only a certain author’s technique. Such subjectively acquired technique can be turned into socially used technology, otherwise, it will be lost. Technology is a technique that has gained recognition and has been mastered by those who did not invent it but used the algorithm proposed by the inventor, a detailed and functionally sound explanation, a method of constructing this technique. But the main thing is that technology is a technique that has received an acceptable justification for society. Conclusions. Technology is not only a means of achieving the goal, it is a way for a human being to transform the world. As such, technology is a component of human himself/herself and changes human – more precisely, a human being changed himself/herself with the help of technologies that he/she creates. However, this creates certain limits of such transformations: technology cannot replace humans in their ability to self-reproduce. Technology is always an element of social communication: the success of communication is interdependent on the success of the technology. Social modernization includes new technologies, but a more important component of social modernization is the new values for which these new technologies are created. Human evolution generates the technocratism at a certain stage. But to the extent that technocracy begins to contradict the values of humans and society, it loses its source of development – human creativity. (shrink)

Current issues concerning the nature of ancestry and homology are discussed with reference to the evolutionary origin of the tetrapod limb. Homologies are argued to be complex conjectural inferences dependant upon a pre-existing phylogenetic analysisand a theoretical model of the evolutionary development of ontogenetic information. Ancestral conditions are inferred primarily from character (synapomorphy/homology) distributions within phylogeny, because of the deficiencies of palaeontological data. Recent analyses of tetrapod limb ontogeny, and the diverse, earliest morphologies known from the fossil record, are inconsistent (...) with typological concepts such as fixed ancestral patterns or bauplans, emphasising the incompatibility of these with evolutionary continuity. The evolutionary origin of the tetrapod limb is also examined in the light of its recent discussion in developmental genetics. While this field promises to reveal more of the fundamental ontogenetic content of homology (identity), at present it is concerned mostly with the abstraction of a new set of types, rather than investigating diversity and change. (shrink)

The article devoted to the analysis of theoretical and conceptual developments of the Russian Social Democrats in the emigrant period. The authors note that the concept of democratic socialism, which began to be formed in 1917, was considerably amended and deepened when the Mensheviks created a new party program developed in 1922-1924. The significance of this program of the RSDLP is practically not evaluated in the science literature. In the analysis of Soviet historiography, the authors of the article outlined the (...) lack of attention to the projects of the Mensheviks in emigration, as the researchers insisted on the collapse of the RSDLP in post-October period. Some of modern researchers are highly skeptical about the intellectual developments of the Russian Social Democrats after the events of October 1917. However, the authors identified a number of innovative elements in the projects of the Mensheviks in this time. The new party program is an original stage in the formation of the concept of post-revolutionary development of Russia. In the course of the inner-party discussion, the differences in assessing the degree of Russia’s readiness for socialist transformation, as well as the Bolshevik experiment with various internal political trends, were sharply denoted. The article analyzes the positions of representatives of the official Mensheviks and the right wing of the party. The authors acknowledge the significant transformation of the political attitudes of the Mensheviks, pointing to some delusional and utopian nature of a number of program theses. (shrink)

Thomas Kuhn dengan konsep revolusi ilmiahnya memiliki karakteristik pemikiran dan model filsafat baru dalam hal sejarah lahirnya ilmu pengetahuan dan filsafat sains serta peranan sejarah ilmu pengetahuan dalam mengkonstruksi ataupun merekonstruksi munculnya ilmu pengetahuan baru. Bagi Thomas Kuhn sejarah ilmu pengetahuan merupakan starting point dalam mengkaji permasalahan fundamental dalam epistemologi keilmuan karena sains pada dasarnya selalu ditandai dengan kuatnya paradigma serta revolusi ilmiah setelahnya. Fase inilah yang diistilahkan Thomas Kuhn sebagai fase sejarah lahirnya ilmu pengetahuan baru, dimulai dengan normal science, (...) kemudian terjadi anomaly dan crisis, setelah itu barulah muncul revolusi ilmiah sebagai bentuk lahirnya ilmu pengetahuan baru. Pemikiran Thomas Kuhn tersebut dapat dikontekstualisasikan dengan pengembangan keilmuan Islam dengan tujuan membangun keterbukaan pemikiran keislaman terhadap anomali dan crisis serta munculnya revolusi dalam ilmu keislaman sehingga memotivasi munculnya paradigma baru di ranah keilmuan Islam. Berbagai pendekatan dalam studi Islam dapat digunakan seperti pendekatan normatif, historis, sosiologis, antropologis dan pendekatan lainnya dalam rangka membumikan Islam menjadi agama yang rahmatan lil alamin. Kata Kunci : Paradigma, Revolusi Ilmiah, Thomas Kuhn. (shrink)

Professor Meehl [2] has pointed out a very significant problem in the methodology of psychological research, indicating that statistical tests of psychological hypotheses against a null hypothesis are loaded in favor of eventual success at rejecting the null hypothesis. In my opinion this is not, however, a contrast between physics and psychology, but rather between the method of parameter estimation and that of the null hypothesis in the tradition of Fisher. A physicist could use the null hypothesis method as well (...) as the psychologist. The fact that he doesn't is probably related to the more advanced state of his measurement techniques and theoretical constructs. (shrink)

The Ukrainian Muslim community continues to develop dynamically. However, a purposeful, systematic study of this specific socio-denominational population across the whole country was virtually impossible, due to the extreme complexity of the study of such an object, as well as the lack of any state support for Islamic studies as a field of scientific activity. As a result, the specific social parameters of Muslim living in Ukrainian society over the past 13 years have remained virtually unknown. Moreover, even the exact (...) number of Muslims in the country is unknown. There are only speculative, rough estimates: from the lowered figure of 300,000 to the unreasonably overstated 2 million. (shrink)

Мета. У цій статті передбачено провести морфологічне дослідження життя Григорія Сковороди як самоконструювання філософа порівняно з життям таких філософів, як Іммануїл Кант, Фрідріх Ніцше, Мартін Гайдеґґер і Генрі Торо. Теоретичний базис. В основі дослідження лежить застосування монадологічного підходу до історії у сполученні з біографічним методом. Ідеї класичних філософських систем Ґотфріда Ляйбніца та Освальда Шпенглера застосовано з урахуванням їхнього переосмислення українськими філософами Іваном Бойченком та Вадимом Менжуліним. Завдяки цьому життя українського філософа Григорія Сковороди розглянуто як монаду, яка невпинно здійснює власне смислове (...) саморозгортання. Наукова новизна. Наскрізну парадоксальність філософії Григорія Сковороди, яку приписують йому, виходячи з інших філософських систем, повністю знімає перформативна послідовність його життя як філософа, що показують системні порівняння основних характеристик його життя з життям інших видатних філософів, які підпорядкували свої дії своїй філософській концепції. Висновки. Філософія Григорія Сковороди є монадою, тобто таким першофеноменом, який неможливо пояснити з інших феноменів: порівняння з іншими монадами є лише приводом для виявлення власних характеристик досліджуваної монади, які поступово розкриваються як прояв її самобутності й неповторності. Оригінальність філософської концептуалізації життя Сковороди варто здійснювати в поетапному порівнянні зі свідомим життям інших філософів, і таке порівняння потребує продовження, постійного здійснення. Особливістю цього дослідження є спроба надати методологічне обґрунтування такому компаративному морфологічно-біографічному філософському дослідженню. (shrink)